Elementary formal systems
نویسندگان
چکیده
منابع مشابه
Advanced elementary formal systems
An elementary formal system (EFS) is a logic program such as a Prolog program, for instance, that directly manipulates strings. Arikawa and his co-workers proposed elementary formal systems as a unifying framework for formal language learning. In the present paper, we introduce advanced elementary formal systems (AEFSs), i.e., elementary formal systems which allow for the use of a certain kind ...
متن کاملLearning Elementary Formal Systems
Arikawa, S., T. Shinohara and A. Yamamoto, Learning elementary formal systems, Theoretical Computer Science 95 (1992) 97-l 13. The elementary formal systems (EFS for short) Smullyan invented to develop his recursive function theory, are proved suitable to generate languages. In this paper we first point out that EFS can also work as a logic programming language, and the resolution procedure for...
متن کاملExtending Elementary Formal Systems
An elementary formal system (EFS) is a logic program such as a Prolog program, for instance, that directly manipulates strings. Arikawa and his co-workers proposed elementary formal systems as a unifying framework for formal language learning. In the present paper, we introduce advanced elementary formal systems (AEFSs), i.e., elementary formal systems which allow for the use of a certain kind ...
متن کاملLearning elementary formal systems with queries
An elementary formal system (EFS , for short) is a kind of logic program which directly manipulates character strings. A number of researches have investigated the ability of EFS as an uniform framework for language learning in various learning models including model inference, inductive inference, and PAC-learning. In this paper, we investigate the polynomial time learnability of EFS from the ...
متن کاملFormalised Elementary Formal Ontology
Formal ontology, as the science of the formal relations that structure reality as a whole, aims at a theory of categories corresponding to the most general features of possible objects, whether existing or non-existing. The present paper is an attempt to summarise and extend recent research in analytical metaphysics in a formalised theory of objects. Existence is characterised as a formal prope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Mathematical Society of Japan
سال: 1961
ISSN: 0025-5645
DOI: 10.2969/jmsj/01310038